Automated Reasoning in Metabolic Networks with Inhibition
نویسندگان
چکیده
The use of artificial intelligence to represent and reason about metabolic networks has been widely investigated due to the complexity of their imbrication. Its main goal is to determine the catalytic role of genomes and their interference in the process. This paper presents a logical model for metabolic pathways capable of describing both positive and negative reactions (activations and inhibitions) based on a fragment of first order logic. We also present a translation procedure that aims to transform first order formulas into quantifier free formulas, creating an efficient automated deduction method allowing us to predict results by deduction and infer reactions and proteins states by abductive reasoning.
منابع مشابه
A New Method to Improve Automated Classification of Heart Sound Signals: Filter Bank Learning in Convolutional Neural Networks
Introduction: Recent studies have acknowledged the potential of convolutional neural networks (CNNs) in distinguishing healthy and morbid samples by using heart sound analyses. Unfortunately the performance of CNNs is highly dependent on the filtering procedure which is applied to signal in their convolutional layer. The present study aimed to address this problem by a...
متن کاملDiagnosis of brain tumor using PNN neural networks
Cells grow and then need a very neat method to create new cells that work properly to maintain the health of the body. When the ability to control the growth of the cells is lost, they are unconsidered and often divided without order. Exemplified cells form a tissue mass called the tumor. In fact, brain tumors are abnormal and uncontrolled cell proliferations. Segmentation methods are used in b...
متن کاملA Hybrid Approach to Fault Diagnosis in Network and System Management
In this paper, several Artificial Intelligence (AI) techniques such as Rule-Based Reasoning (RBR), Bayesian Networks (BNs), Neural Networks (NNs), Case-Based Reasoning (CBR), Qualitative Reasoning (QR), and Model-Based Reasoning (MBR) are described. Then an automated management system prototype is presented. Finally, a hybrid approach to automated network and system management is proposed. Howe...
متن کاملThe Effects of Pyruvate Dehydrogenase Kinase 4 (PDK4) Inhibition on Metabolic Flexibility during Endurance Training in Skeletal Muscles of Streptozotocin-induced Diabetic Rats
Background:Metabolic flexibility is the capacity of a system to adjust fuel (primarily glucose and fatty acids) oxidation based on nutrient availability. Pyruvate Dehydrogenase Kinase 4 (PDK4) is one of the main enzymes that play a critical role in metabolic flexibility. In current study, we examined PDK4 inhibition along with exercise training (ET) on the gene expression of Es...
متن کاملLoad-Frequency Control: a GA based Bayesian Networks Multi-agent System
Bayesian Networks (BN) provides a robust probabilistic method of reasoning under uncertainty. They have been successfully applied in a variety of real-world tasks but they have received little attention in the area of load-frequency control (LFC). In practice, LFC systems use proportional-integral controllers. However since these controllers are designed using a linear model, the nonlinearities...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013